Semantics of Structured Nodes in UML 2.0 Activities
نویسنده
چکیده
The recent major revision of the UML [21] has introduced significant changes and additions to “the lingua franca of Software Engineering”. Within the UML, Activity Diagrams are particularly prominent, since they are the natural choice when it comes to the modeling of web-services, workflows, and service-oriented architectures. One of the most novel concepts introduced are so called structured nodes (including loops, collection parameters, and streaming). Building on [29–32], this paper explores the meaning of StructuredActivityNodes, as it is called in the metamodel, by defining them mathematically in terms of procedural colored Petri nets.
منابع مشابه
Semantics and Verification of Data Flow in UML 2.0 Activities
One of the major changes in going from UML 1.5 to UML 2.0 is the reengineering of Activity Diagrams. This paper examines Activities as described in the current version of the UML 2.0 standard by defining a denotational semantics. It covers basic control flow and data flow, but excludes hierarchy, expansion nodes, and exception handling (see [19,20,21,22] for these issues). The paper shows, wher...
متن کاملStructured Nodes in UML 2.0 Activities
The upcoming major revision of the UML (see OMG [2003]) has introduced significant changes and additions to “the lingua franca of Software Engineering”. Within the UML, activity diagrams are particularly prominent, since they are the natural choice when it comes to the modeling of web-services, workflows, and service-oriented architectures. One of the most novel concepts introduced are so calle...
متن کاملSemantics of UML 2.0 Activities with Data-Flow
One of the major improvements of UML 2.0 over UML 1.5 is the reengineering of Activity Diagrams. It is claimed in the standard that they now have a Petri-net like meaning. In this paper, this claim is examined by defining a denotational semantics for Activities based on Colored Petri-nets. The definition closely following the UML 2.0 standard. It covers flat control-flow, and dataflow, but excl...
متن کاملAn Agile Mda Approach for Executable Uml Structured Activities
Agile processes allow developers to construct, run and test executable models in short, incremental, iterative cycles. However, the agile development processes tend to minimize the modeling phase and the usage of UML models, because UML is a “unified” (too general) language with a lot of semantic variation points. The current version of UML together with its Action Semantics provide the foundat...
متن کاملSemantics of UML 2.0 Activities
The recent major revision of the UML [22] has introduced significant changes and additions. In particular, the metamodel portion underlying Activity Diagrams has been completely reengineered, with Activity being the central concept, the successor of ActivityGraph in UML 1.5. In this paper, a denotational semantics for Activities is defined as a mapping from Activities into Procedural Petri nets...
متن کامل